node(1).
node(2).
node(3).
node(4).
node(5).
node(6).
node(7).
node(8).
node(9).
node(10).
node(11).
node(12).
node(13).
node(14).
node(15).
node(16).
node(17).
node(18).
node(19).
node(20).
node(21).
node(22).
node(23).
node(24).
node(25).
node(26).
node(27).
node(28).
node(29).
node(30).
node(31).
node(32).
node(33).
node(34).
node(35).
node(36).
node(37).
node(38).
node(39).
node(40).
node(41).
node(42).
node(43).
node(44).
node(45).
node(46).
node(47).
node(48).
node(49).
node(50).
node(51).
node(52).
node(53).
node(54).
node(55).
node(56).
node(57).
node(58).
node(59).
node(60).
node(61).
node(62).
node(63).
node(64).
node(65).
node(66).
node(67).
node(68).
node(69).
node(70).
node(71).
node(72).
node(73).
node(74).
node(75).
node(76).
node(77).
node(78).
node(79).
node(80).
node(81).
node(82).
node(83).
node(84).
node(85).
node(86).
node(87).
node(88).
node(89).
node(90).
node(91).
node(92).
node(93).
node(94).
node(95).
node(96).
node(97).
node(98).
node(99).
node(100).
node(101).
node(102).
node(103).
node(104).
node(105).
node(106).
node(107).
node(108).
node(109).
node(110).
node(111).
node(112).
node(113).
node(114).
node(115).
node(116).
node(117).
node(118).
node(119).
node(120).
node(121).
node(122).
node(123).
node(124).
node(125).
node(126).
node(127).
node(128).
node(129).
node(130).
node(131).
node(132).
node(133).
node(134).
node(135).
link(1,10) :- #0.821.
link(10,1) :- #0.032.
link(1,14) :- #0.104.
link(14,1) :- #0.105.
link(1,47) :- #0.63.
link(47,1) :- #0.04.
link(1,62) :- #0.203.
link(62,1) :- #0.896.
link(1,67) :- #0.89.
link(67,1) :- #0.21.
link(1,80) :- #0.127.
link(80,1) :- #0.675.
link(1,82) :- #0.988.
link(82,1) :- #0.539.
link(1,91) :- #0.107.
link(91,1) :- #0.962.
link(1,99) :- #0.425.
link(99,1) :- #0.54.
link(1,102) :- #0.01.
link(102,1) :- #0.52.
link(1,117) :- #0.114.
link(117,1) :- #0.271.
link(2,5) :- #0.795.
link(5,2) :- #0.59.
link(2,7) :- #0.309.
link(7,2) :- #0.614.
link(2,18) :- #0.539.
link(18,2) :- #0.826.
link(2,38) :- #0.929.
link(38,2) :- #0.795.
link(2,73) :- #0.278.
link(73,2) :- #0.587.
link(2,85) :- #0.165.
link(85,2) :- #0.918.
link(2,102) :- #0.42.
link(102,2) :- #0.458.
link(2,103) :- #0.534.
link(103,2) :- #0.569.
link(2,106) :- #0.767.
link(106,2) :- #0.621.
link(2,109) :- #0.478.
link(109,2) :- #0.951.
link(2,124) :- #0.615.
link(124,2) :- #0.6.
link(3,21) :- #0.407.
link(21,3) :- #0.169.
link(3,27) :- #0.227.
link(27,3) :- #0.695.
link(3,33) :- #0.563.
link(33,3) :- #0.198.
link(3,44) :- #0.147.
link(44,3) :- #0.319.
link(3,50) :- #0.507.
link(50,3) :- #0.034.
link(3,58) :- #0.795.
link(58,3) :- #0.105.
link(3,63) :- #0.472.
link(63,3) :- #0.927.
link(3,67) :- #0.133.
link(67,3) :- #0.985.
link(3,72) :- #0.523.
link(72,3) :- #0.5.
link(3,73) :- #0.521.
link(73,3) :- #0.917.
link(3,89) :- #0.949.
link(89,3) :- #0.514.
link(3,93) :- #0.498.
link(93,3) :- #0.214.
link(3,99) :- #0.593.
link(99,3) :- #0.091.
link(3,106) :- #0.753.
link(106,3) :- #0.885.
link(3,113) :- #0.961.
link(113,3) :- #0.004.
link(4,22) :- #0.1.
link(22,4) :- #0.223.
link(4,47) :- #0.84.
link(47,4) :- #0.092.
link(4,51) :- #0.503.
link(51,4) :- #0.564.
link(4,56) :- #0.168.
link(56,4) :- #0.942.
link(4,70) :- #0.98.
link(70,4) :- #0.281.
link(4,80) :- #0.963.
link(80,4) :- #0.241.
link(4,83) :- #0.271.
link(83,4) :- #0.349.
link(4,85) :- #0.953.
link(85,4) :- #0.053.
link(4,93) :- #0.059.
link(93,4) :- #0.226.
link(4,119) :- #0.953.
link(119,4) :- #0.963.
link(4,123) :- #0.188.
link(123,4) :- #0.046.
link(5,19) :- #0.238.
link(19,5) :- #0.235.
link(5,24) :- #0.905.
link(24,5) :- #0.875.
link(5,34) :- #0.716.
link(34,5) :- #0.955.
link(5,35) :- #0.745.
link(35,5) :- #0.635.
link(5,57) :- #0.417.
link(57,5) :- #0.46.
link(5,101) :- #0.099.
link(101,5) :- #0.503.
link(5,117) :- #0.03.
link(117,5) :- #0.08.
link(5,133) :- #0.083.
link(133,5) :- #0.823.
link(6,43) :- #0.139.
link(43,6) :- #0.607.
link(6,63) :- #0.34.
link(63,6) :- #0.473.
link(6,65) :- #0.791.
link(65,6) :- #0.465.
link(6,75) :- #0.567.
link(75,6) :- #0.082.
link(6,90) :- #0.592.
link(90,6) :- #0.947.
link(6,91) :- #0.669.
link(91,6) :- #0.546.
link(6,96) :- #0.929.
link(96,6) :- #0.435.
link(6,98) :- #0.332.
link(98,6) :- #0.896.
link(6,99) :- #0.158.
link(99,6) :- #0.988.
link(6,109) :- #0.104.
link(109,6) :- #0.331.
link(6,119) :- #0.761.
link(119,6) :- #0.395.
link(6,129) :- #0.6.
link(129,6) :- #0.073.
link(7,12) :- #0.035.
link(12,7) :- #0.665.
link(7,17) :- #0.513.
link(17,7) :- #0.851.
link(7,19) :- #0.766.
link(19,7) :- #0.055.
link(7,26) :- #0.829.
link(26,7) :- #0.092.
link(7,34) :- #0.462.
link(34,7) :- #0.392.
link(7,46) :- #0.797.
link(46,7) :- #0.23.
link(7,61) :- #0.951.
link(61,7) :- #0.484.
link(7,67) :- #0.154.
link(67,7) :- #0.635.
link(7,74) :- #0.704.
link(74,7) :- #0.326.
link(7,79) :- #0.32.
link(79,7) :- #0.026.
link(7,84) :- #0.034.
link(84,7) :- #0.288.
link(7,103) :- #0.197.
link(103,7) :- #0.639.
link(7,105) :- #0.831.
link(105,7) :- #0.325.
link(8,9) :- #0.027.
link(9,8) :- #0.874.
link(8,23) :- #0.649.
link(23,8) :- #0.849.
link(8,42) :- #0.999.
link(42,8) :- #0.435.
link(8,47) :- #0.63.
link(47,8) :- #0.422.
link(8,48) :- #0.915.
link(48,8) :- #0.676.
link(8,51) :- #0.651.
link(51,8) :- #0.981.
link(8,55) :- #0.773.
link(55,8) :- #0.801.
link(8,66) :- #0.717.
link(66,8) :- #0.385.
link(8,84) :- #0.328.
link(84,8) :- #0.748.
link(8,85) :- #0.392.
link(85,8) :- #0.521.
link(8,104) :- #0.17.
link(104,8) :- #0.045.
link(8,106) :- #0.978.
link(106,8) :- #0.807.
link(8,118) :- #0.068.
link(118,8) :- #0.008.
link(8,122) :- #0.535.
link(122,8) :- #0.372.
link(8,131) :- #0.991.
link(131,8) :- #0.556.
link(9,21) :- #0.071.
link(21,9) :- #0.466.
link(9,30) :- #0.455.
link(30,9) :- #0.507.
link(9,31) :- #0.552.
link(31,9) :- #0.232.
link(9,40) :- #0.597.
link(40,9) :- #0.609.
link(9,62) :- #0.549.
link(62,9) :- #0.186.
link(9,66) :- #0.272.
link(66,9) :- #0.335.
link(9,67) :- #0.582.
link(67,9) :- #0.818.
link(9,69) :- #0.82.
link(69,9) :- #0.597.
link(9,97) :- #0.596.
link(97,9) :- #0.223.
link(9,105) :- #0.026.
link(105,9) :- #0.22.
link(9,106) :- #0.726.
link(106,9) :- #0.663.
link(9,108) :- #0.815.
link(108,9) :- #0.287.
link(9,116) :- #0.02.
link(116,9) :- #0.291.
link(9,117) :- #0.041.
link(117,9) :- #0.944.
link(9,120) :- #0.154.
link(120,9) :- #0.691.
link(9,128) :- #0.135.
link(128,9) :- #0.127.
link(10,33) :- #0.361.
link(33,10) :- #0.711.
link(10,40) :- #0.702.
link(40,10) :- #0.023.
link(10,53) :- #0.666.
link(53,10) :- #0.638.
link(10,55) :- #0.29.
link(55,10) :- #0.109.
link(10,58) :- #0.476.
link(58,10) :- #0.772.
link(10,78) :- #0.594.
link(78,10) :- #0.992.
link(10,111) :- #0.436.
link(111,10) :- #0.043.
link(10,119) :- #0.182.
link(119,10) :- #0.235.
link(10,120) :- #0.953.
link(120,10) :- #0.365.
link(10,130) :- #0.378.
link(130,10) :- #0.003.
link(10,131) :- #0.725.
link(131,10) :- #0.978.
link(10,132) :- #0.114.
link(132,10) :- #0.111.
link(11,15) :- #0.04.
link(15,11) :- #0.111.
link(11,18) :- #0.981.
link(18,11) :- #0.398.
link(11,20) :- #0.291.
link(20,11) :- #0.895.
link(11,26) :- #0.512.
link(26,11) :- #0.835.
link(11,33) :- #0.588.
link(33,11) :- #0.717.
link(11,34) :- #0.089.
link(34,11) :- #0.383.
link(11,35) :- #0.072.
link(35,11) :- #0.99.
link(11,38) :- #0.101.
link(38,11) :- #0.892.
link(11,45) :- #0.632.
link(45,11) :- #0.06.
link(11,55) :- #0.999.
link(55,11) :- #0.895.
link(11,97) :- #0.458.
link(97,11) :- #0.235.
link(11,117) :- #0.055.
link(117,11) :- #0.431.
link(11,130) :- #0.86.
link(130,11) :- #0.516.
link(12,13) :- #0.576.
link(13,12) :- #0.316.
link(12,14) :- #0.159.
link(14,12) :- #0.82.
link(12,17) :- #0.546.
link(17,12) :- #0.963.
link(12,25) :- #0.188.
link(25,12) :- #0.426.
link(12,48) :- #0.469.
link(48,12) :- #0.711.
link(12,66) :- #0.213.
link(66,12) :- #0.085.
link(12,72) :- #0.197.
link(72,12) :- #0.205.
link(12,89) :- #0.054.
link(89,12) :- #0.169.
link(12,107) :- #0.733.
link(107,12) :- #0.868.
link(12,108) :- #0.17.
link(108,12) :- #0.13.
link(12,120) :- #0.172.
link(120,12) :- #0.521.
link(12,127) :- #0.863.
link(127,12) :- #0.206.
link(12,132) :- #0.715.
link(132,12) :- #0.55.
link(13,18) :- #0.864.
link(18,13) :- #0.229.
link(13,20) :- #0.034.
link(20,13) :- #0.195.
link(13,41) :- #0.194.
link(41,13) :- #0.655.
link(13,48) :- #0.388.
link(48,13) :- #0.983.
link(13,51) :- #0.461.
link(51,13) :- #0.833.
link(13,60) :- #0.029.
link(60,13) :- #0.521.
link(13,68) :- #0.031.
link(68,13) :- #0.376.
link(13,74) :- #0.322.
link(74,13) :- #0.823.
link(13,78) :- #0.685.
link(78,13) :- #0.443.
link(13,94) :- #0.176.
link(94,13) :- #0.552.
link(13,126) :- #0.259.
link(126,13) :- #0.319.
link(13,129) :- #0.122.
link(129,13) :- #0.528.
link(14,23) :- #0.201.
link(23,14) :- #0.853.
link(14,24) :- #0.371.
link(24,14) :- #0.184.
link(14,27) :- #0.133.
link(27,14) :- #0.862.
link(14,57) :- #0.502.
link(57,14) :- #0.32.
link(14,59) :- #0.147.
link(59,14) :- #0.339.
link(14,60) :- #0.761.
link(60,14) :- #0.137.
link(14,73) :- #0.235.
link(73,14) :- #0.215.
link(14,116) :- #0.082.
link(116,14) :- #0.701.
link(14,120) :- #0.727.
link(120,14) :- #0.134.
link(14,121) :- #0.774.
link(121,14) :- #0.313.
link(15,21) :- #0.673.
link(21,15) :- #0.483.
link(15,25) :- #0.665.
link(25,15) :- #0.762.
link(15,34) :- #0.576.
link(34,15) :- #0.164.
link(15,39) :- #0.557.
link(39,15) :- #0.962.
link(15,42) :- #0.942.
link(42,15) :- #0.907.
link(15,54) :- #0.003.
link(54,15) :- #0.402.
link(15,76) :- #0.344.
link(76,15) :- #0.375.
link(15,90) :- #0.017.
link(90,15) :- #0.048.
link(15,94) :- #0.903.
link(94,15) :- #0.892.
link(15,109) :- #0.001.
link(109,15) :- #0.924.
link(15,111) :- #0.585.
link(111,15) :- #0.142.
link(15,115) :- #0.319.
link(115,15) :- #0.235.
link(15,123) :- #0.788.
link(123,15) :- #0.877.
link(16,41) :- #0.89.
link(41,16) :- #0.35.
link(16,49) :- #0.544.
link(49,16) :- #0.199.
link(16,51) :- #0.499.
link(51,16) :- #0.941.
link(16,59) :- #0.021.
link(59,16) :- #0.812.
link(16,60) :- #0.183.
link(60,16) :- #0.281.
link(16,75) :- #0.906.
link(75,16) :- #0.224.
link(16,95) :- #0.767.
link(95,16) :- #0.99.
link(16,96) :- #0.906.
link(96,16) :- #0.966.
link(16,107) :- #0.064.
link(107,16) :- #0.038.
link(16,109) :- #0.908.
link(109,16) :- #0.751.
link(16,111) :- #0.209.
link(111,16) :- #0.473.
link(16,120) :- #0.904.
link(120,16) :- #0.093.
link(16,122) :- #0.505.
link(122,16) :- #0.347.
link(17,34) :- #0.469.
link(34,17) :- #0.33.
link(17,40) :- #0.86.
link(40,17) :- #0.591.
link(17,60) :- #0.323.
link(60,17) :- #0.497.
link(17,77) :- #0.537.
link(77,17) :- #0.834.
link(17,79) :- #0.155.
link(79,17) :- #0.93.
link(17,117) :- #0.512.
link(117,17) :- #0.402.
link(18,20) :- #0.701.
link(20,18) :- #0.383.
link(18,21) :- #0.042.
link(21,18) :- #0.171.
link(18,35) :- #0.863.
link(35,18) :- #0.442.
link(18,44) :- #0.235.
link(44,18) :- #0.581.
link(18,48) :- #0.103.
link(48,18) :- #0.996.
link(18,52) :- #0.917.
link(52,18) :- #0.785.
link(18,61) :- #0.092.
link(61,18) :- #0.732.
link(18,72) :- #0.282.
link(72,18) :- #0.563.
link(18,76) :- #0.816.
link(76,18) :- #0.431.
link(18,80) :- #0.665.
link(80,18) :- #0.666.
link(18,99) :- #0.523.
link(99,18) :- #0.132.
link(18,100) :- #0.97.
link(100,18) :- #0.651.
link(18,106) :- #0.637.
link(106,18) :- #0.665.
link(18,110) :- #0.306.
link(110,18) :- #0.961.
link(18,116) :- #0.45.
link(116,18) :- #0.428.
link(18,120) :- #0.147.
link(120,18) :- #0.004.
link(18,135) :- #0.106.
link(135,18) :- #0.339.
link(19,21) :- #0.994.
link(21,19) :- #0.721.
link(19,24) :- #0.268.
link(24,19) :- #0.381.
link(19,26) :- #0.066.
link(26,19) :- #0.72.
link(19,31) :- #0.494.
link(31,19) :- #0.026.
link(19,40) :- #0.886.
link(40,19) :- #0.38.
link(19,41) :- #0.836.
link(41,19) :- #0.557.
link(19,42) :- #0.859.
link(42,19) :- #0.577.
link(19,54) :- #0.323.
link(54,19) :- #0.262.
link(19,84) :- #0.614.
link(84,19) :- #0.281.
link(19,89) :- #0.043.
link(89,19) :- #0.796.
link(19,119) :- #0.277.
link(119,19) :- #0.395.
link(19,125) :- #0.531.
link(125,19) :- #0.388.
link(19,130) :- #0.168.
link(130,19) :- #0.856.
link(19,133) :- #0.299.
link(133,19) :- #0.939.
link(20,42) :- #0.073.
link(42,20) :- #0.383.
link(20,70) :- #0.105.
link(70,20) :- #0.366.
link(20,72) :- #0.15.
link(72,20) :- #0.844.
link(20,85) :- #0.998.
link(85,20) :- #0.546.
link(20,108) :- #0.206.
link(108,20) :- #0.294.
link(20,116) :- #0.169.
link(116,20) :- #0.051.
link(20,118) :- #0.092.
link(118,20) :- #0.314.
link(20,133) :- #0.247.
link(133,20) :- #0.197.
link(21,34) :- #0.033.
link(34,21) :- #0.673.
link(21,105) :- #0.082.
link(105,21) :- #0.073.
link(21,110) :- #0.016.
link(110,21) :- #0.058.
link(21,122) :- #0.236.
link(122,21) :- #0.645.
link(21,123) :- #0.791.
link(123,21) :- #0.007.
link(22,57) :- #0.013.
link(57,22) :- #0.406.
link(22,61) :- #0.452.
link(61,22) :- #0.406.
link(22,64) :- #0.701.
link(64,22) :- #0.505.
link(22,65) :- #0.963.
link(65,22) :- #0.113.
link(22,67) :- #0.878.
link(67,22) :- #0.868.
link(22,82) :- #0.934.
link(82,22) :- #0.363.
link(22,83) :- #0.874.
link(83,22) :- #0.409.
link(22,92) :- #0.587.
link(92,22) :- #0.685.
link(22,109) :- #0.253.
link(109,22) :- #0.345.
link(22,123) :- #0.339.
link(123,22) :- #0.485.
link(22,130) :- #0.118.
link(130,22) :- #0.531.
link(22,133) :- #0.151.
link(133,22) :- #0.512.
link(23,29) :- #0.073.
link(29,23) :- #0.222.
link(23,31) :- #0.547.
link(31,23) :- #0.878.
link(23,32) :- #0.266.
link(32,23) :- #0.193.
link(23,35) :- #0.487.
link(35,23) :- #0.515.
link(23,37) :- #0.511.
link(37,23) :- #0.633.
link(23,48) :- #0.57.
link(48,23) :- #0.249.
link(23,50) :- #0.286.
link(50,23) :- #0.804.
link(23,60) :- #0.024.
link(60,23) :- #0.42.
link(23,82) :- #0.414.
link(82,23) :- #0.395.
link(23,92) :- #0.711.
link(92,23) :- #0.955.
link(23,104) :- #0.496.
link(104,23) :- #0.752.
link(23,111) :- #0.77.
link(111,23) :- #0.585.
link(24,29) :- #0.064.
link(29,24) :- #0.16.
link(24,33) :- #0.303.
link(33,24) :- #0.639.
link(24,46) :- #0.016.
link(46,24) :- #0.97.
link(24,55) :- #0.714.
link(55,24) :- #0.203.
link(24,74) :- #0.847.
link(74,24) :- #0.176.
link(24,80) :- #0.298.
link(80,24) :- #0.108.
link(24,84) :- #0.517.
link(84,24) :- #0.829.
link(24,85) :- #0.629.
link(85,24) :- #0.897.
link(24,90) :- #0.616.
link(90,24) :- #0.231.
link(24,92) :- #0.295.
link(92,24) :- #0.787.
link(24,111) :- #0.628.
link(111,24) :- #0.674.
link(24,126) :- #0.893.
link(126,24) :- #0.487.
link(25,61) :- #0.139.
link(61,25) :- #0.824.
link(25,71) :- #0.591.
link(71,25) :- #0.257.
link(25,80) :- #0.541.
link(80,25) :- #0.815.
link(25,82) :- #0.568.
link(82,25) :- #0.526.
link(25,83) :- #0.052.
link(83,25) :- #0.3.
link(25,85) :- #0.519.
link(85,25) :- #0.093.
link(25,91) :- #0.461.
link(91,25) :- #0.018.
link(25,112) :- #0.895.
link(112,25) :- #0.096.
link(25,113) :- #0.173.
link(113,25) :- #0.762.
link(25,119) :- #0.604.
link(119,25) :- #0.466.
link(25,122) :- #0.546.
link(122,25) :- #0.572.
link(25,123) :- #0.32.
link(123,25) :- #0.175.
link(25,130) :- #0.838.
link(130,25) :- #0.812.
link(25,133) :- #0.083.
link(133,25) :- #0.744.
link(26,33) :- #0.904.
link(33,26) :- #0.841.
link(26,34) :- #0.395.
link(34,26) :- #0.861.
link(26,41) :- #0.195.
link(41,26) :- #0.798.
link(26,68) :- #0.908.
link(68,26) :- #0.633.
link(26,88) :- #0.014.
link(88,26) :- #0.778.
link(26,111) :- #0.164.
link(111,26) :- #0.646.
link(26,118) :- #0.004.
link(118,26) :- #0.069.
link(26,125) :- #0.672.
link(125,26) :- #0.241.
link(27,31) :- #0.683.
link(31,27) :- #0.277.
link(27,51) :- #0.164.
link(51,27) :- #0.929.
link(27,54) :- #0.573.
link(54,27) :- #0.916.
link(27,68) :- #0.798.
link(68,27) :- #0.808.
link(27,72) :- #0.259.
link(72,27) :- #0.384.
link(27,79) :- #0.807.
link(79,27) :- #0.962.
link(27,82) :- #0.882.
link(82,27) :- #0.264.
link(27,93) :- #0.955.
link(93,27) :- #0.751.
link(27,95) :- #0.382.
link(95,27) :- #0.325.
link(27,98) :- #0.667.
link(98,27) :- #0.457.
link(27,103) :- #0.865.
link(103,27) :- #0.915.
link(27,105) :- #0.876.
link(105,27) :- #0.097.
link(27,116) :- #0.963.
link(116,27) :- #0.038.
link(28,48) :- #0.21.
link(48,28) :- #0.162.
link(28,62) :- #0.019.
link(62,28) :- #0.109.
link(28,79) :- #0.685.
link(79,28) :- #0.35.
link(28,92) :- #0.463.
link(92,28) :- #0.393.
link(28,106) :- #0.531.
link(106,28) :- #0.812.
link(28,108) :- #0.255.
link(108,28) :- #0.439.
link(28,124) :- #0.393.
link(124,28) :- #0.322.
link(28,130) :- #0.783.
link(130,28) :- #0.558.
link(29,32) :- #0.009.
link(32,29) :- #0.
link(29,33) :- #0.948.
link(33,29) :- #0.712.
link(29,36) :- #0.422.
link(36,29) :- #0.474.
link(29,44) :- #0.236.
link(44,29) :- #0.048.
link(29,45) :- #0.14.
link(45,29) :- #0.659.
link(29,54) :- #0.64.
link(54,29) :- #0.173.
link(29,65) :- #0.919.
link(65,29) :- #0.902.
link(29,82) :- #0.141.
link(82,29) :- #0.823.
link(29,93) :- #0.423.
link(93,29) :- #0.08.
link(29,105) :- #0.748.
link(105,29) :- #0.607.
link(29,128) :- #0.113.
link(128,29) :- #0.142.
link(29,133) :- #0.556.
link(133,29) :- #0.441.
link(30,37) :- #0.895.
link(37,30) :- #0.569.
link(30,38) :- #0.942.
link(38,30) :- #0.254.
link(30,42) :- #0.187.
link(42,30) :- #0.629.
link(30,47) :- #0.553.
link(47,30) :- #0.665.
link(30,57) :- #0.796.
link(57,30) :- #0.157.
link(30,58) :- #0.545.
link(58,30) :- #0.108.
link(30,72) :- #0.964.
link(72,30) :- #0.772.
link(30,79) :- #0.2.
link(79,30) :- #0.128.
link(31,41) :- #0.887.
link(41,31) :- #0.019.
link(31,53) :- #0.428.
link(53,31) :- #0.165.
link(31,69) :- #0.18.
link(69,31) :- #0.285.
link(31,73) :- #0.133.
link(73,31) :- #0.61.
link(31,84) :- #0.163.
link(84,31) :- #0.618.
link(31,97) :- #0.413.
link(97,31) :- #0.386.
link(31,98) :- #0.329.
link(98,31) :- #0.652.
link(31,110) :- #0.194.
link(110,31) :- #0.258.
link(32,34) :- #0.019.
link(34,32) :- #0.92.
link(32,61) :- #0.092.
link(61,32) :- #0.668.
link(32,88) :- #0.8.
link(88,32) :- #0.299.
link(32,99) :- #0.101.
link(99,32) :- #0.575.
link(32,104) :- #0.495.
link(104,32) :- #0.404.
link(32,122) :- #0.325.
link(122,32) :- #0.942.
link(33,35) :- #0.559.
link(35,33) :- #0.387.
link(33,39) :- #0.549.
link(39,33) :- #0.363.
link(33,48) :- #0.839.
link(48,33) :- #0.049.
link(33,64) :- #0.412.
link(64,33) :- #0.536.
link(33,74) :- #0.703.
link(74,33) :- #0.873.
link(33,97) :- #0.44.
link(97,33) :- #0.86.
link(33,100) :- #0.5.
link(100,33) :- #0.857.
link(33,103) :- #0.087.
link(103,33) :- #0.371.
link(33,107) :- #0.023.
link(107,33) :- #0.882.
link(33,115) :- #0.172.
link(115,33) :- #0.205.
link(33,132) :- #0.606.
link(132,33) :- #0.014.
link(34,41) :- #0.013.
link(41,34) :- #0.143.
link(34,50) :- #0.125.
link(50,34) :- #0.275.
link(34,98) :- #0.05.
link(98,34) :- #0.035.
link(34,104) :- #0.145.
link(104,34) :- #0.266.
link(34,107) :- #0.442.
link(107,34) :- #0.593.
link(34,129) :- #0.765.
link(129,34) :- #0.682.
link(35,43) :- #0.914.
link(43,35) :- #0.415.
link(35,68) :- #0.355.
link(68,35) :- #0.624.
link(35,101) :- #0.053.
link(101,35) :- #0.183.
link(35,102) :- #0.789.
link(102,35) :- #0.247.
link(35,107) :- #0.012.
link(107,35) :- #0.575.
link(35,113) :- #0.272.
link(113,35) :- #0.108.
link(35,126) :- #0.748.
link(126,35) :- #0.942.
link(36,42) :- #0.49.
link(42,36) :- #0.736.
link(36,45) :- #0.018.
link(45,36) :- #0.888.
link(36,46) :- #0.991.
link(46,36) :- #0.812.
link(36,50) :- #0.376.
link(50,36) :- #0.058.
link(36,74) :- #0.218.
link(74,36) :- #0.703.
link(36,78) :- #0.827.
link(78,36) :- #0.325.
link(36,80) :- #0.979.
link(80,36) :- #0.235.
link(36,87) :- #0.927.
link(87,36) :- #0.8.
link(36,91) :- #0.849.
link(91,36) :- #0.898.
link(36,92) :- #0.431.
link(92,36) :- #0.172.
link(36,103) :- #0.663.
link(103,36) :- #0.466.
link(36,105) :- #0.732.
link(105,36) :- #0.719.
link(36,113) :- #0.036.
link(113,36) :- #0.174.
link(36,115) :- #0.748.
link(115,36) :- #0.168.
link(36,117) :- #0.627.
link(117,36) :- #0.514.
link(36,122) :- #0.6.
link(122,36) :- #0.655.
link(36,123) :- #0.226.
link(123,36) :- #0.736.
link(36,126) :- #0.743.
link(126,36) :- #0.302.
link(36,129) :- #0.955.
link(129,36) :- #0.813.
link(37,42) :- #0.62.
link(42,37) :- #0.993.
link(37,44) :- #0.104.
link(44,37) :- #0.682.
link(37,45) :- #0.565.
link(45,37) :- #0.468.
link(37,46) :- #0.655.
link(46,37) :- #0.672.
link(37,65) :- #0.58.
link(65,37) :- #0.768.
link(37,82) :- #0.472.
link(82,37) :- #0.458.
link(37,92) :- #0.717.
link(92,37) :- #0.816.
link(37,123) :- #0.659.
link(123,37) :- #0.235.
link(37,132) :- #0.543.
link(132,37) :- #0.686.
link(37,133) :- #0.544.
link(133,37) :- #0.99.
link(38,44) :- #0.447.
link(44,38) :- #0.15.
link(38,50) :- #0.56.
link(50,38) :- #0.359.
link(38,52) :- #0.164.
link(52,38) :- #0.848.
link(38,54) :- #0.322.
link(54,38) :- #0.03.
link(38,73) :- #0.671.
link(73,38) :- #0.929.
link(38,75) :- #0.139.
link(75,38) :- #0.63.
link(38,84) :- #0.748.
link(84,38) :- #0.998.
link(38,94) :- #0.015.
link(94,38) :- #0.415.
link(38,135) :- #0.727.
link(135,38) :- #0.516.
link(39,47) :- #0.72.
link(47,39) :- #0.664.
link(39,48) :- #0.883.
link(48,39) :- #0.397.
link(39,65) :- #0.416.
link(65,39) :- #0.799.
link(39,79) :- #0.181.
link(79,39) :- #0.07.
link(39,86) :- #0.574.
link(86,39) :- #0.719.
link(39,93) :- #0.723.
link(93,39) :- #0.022.
link(39,101) :- #0.801.
link(101,39) :- #0.648.
link(39,109) :- #0.716.
link(109,39) :- #0.132.
link(39,115) :- #0.929.
link(115,39) :- #0.613.
link(39,116) :- #0.643.
link(116,39) :- #0.629.
link(39,129) :- #0.162.
link(129,39) :- #0.182.
link(40,41) :- #0.858.
link(41,40) :- #0.275.
link(40,42) :- #0.582.
link(42,40) :- #0.912.
link(40,54) :- #0.027.
link(54,40) :- #0.381.
link(40,58) :- #0.55.
link(58,40) :- #0.273.
link(40,60) :- #0.932.
link(60,40) :- #0.399.
link(40,66) :- #0.809.
link(66,40) :- #0.371.
link(40,68) :- #0.437.
link(68,40) :- #0.144.
link(40,72) :- #0.874.
link(72,40) :- #0.246.
link(40,75) :- #0.172.
link(75,40) :- #0.143.
link(40,77) :- #0.004.
link(77,40) :- #0.617.
link(40,94) :- #0.237.
link(94,40) :- #0.28.
link(40,102) :- #0.749.
link(102,40) :- #0.924.
link(40,107) :- #0.34.
link(107,40) :- #0.644.
link(40,127) :- #0.47.
link(127,40) :- #0.192.
link(41,48) :- #0.048.
link(48,41) :- #0.735.
link(41,49) :- #0.914.
link(49,41) :- #0.245.
link(41,51) :- #0.583.
link(51,41) :- #0.342.
link(41,75) :- #0.866.
link(75,41) :- #0.119.
link(41,83) :- #0.073.
link(83,41) :- #0.494.
link(41,96) :- #0.262.
link(96,41) :- #0.271.
link(41,99) :- #0.484.
link(99,41) :- #0.838.
link(41,118) :- #0.09.
link(118,41) :- #0.329.
link(42,46) :- #0.415.
link(46,42) :- #0.017.
link(42,48) :- #0.777.
link(48,42) :- #0.416.
link(42,63) :- #0.445.
link(63,42) :- #0.867.
link(42,70) :- #0.793.
link(70,42) :- #0.419.
link(42,88) :- #0.997.
link(88,42) :- #0.108.
link(42,100) :- #0.517.
link(100,42) :- #0.285.
link(42,103) :- #0.603.
link(103,42) :- #0.275.
link(42,106) :- #0.289.
link(106,42) :- #0.443.
link(42,118) :- #0.602.
link(118,42) :- #0.774.
link(42,119) :- #0.333.
link(119,42) :- #0.624.
link(42,131) :- #0.433.
link(131,42) :- #0.55.
link(43,48) :- #0.377.
link(48,43) :- #0.637.
link(43,51) :- #0.835.
link(51,43) :- #0.017.
link(43,78) :- #0.172.
link(78,43) :- #0.454.
link(43,87) :- #0.115.
link(87,43) :- #0.83.
link(43,92) :- #0.444.
link(92,43) :- #0.24.
link(43,109) :- #0.53.
link(109,43) :- #0.187.
link(43,111) :- #0.686.
link(111,43) :- #0.654.
link(43,126) :- #0.478.
link(126,43) :- #0.52.
link(43,127) :- #0.297.
link(127,43) :- #0.889.
link(44,59) :- #0.232.
link(59,44) :- #0.477.
link(44,89) :- #0.338.
link(89,44) :- #0.917.
link(44,116) :- #0.068.
link(116,44) :- #0.621.
link(44,121) :- #0.354.
link(121,44) :- #0.353.
link(44,130) :- #0.908.
link(130,44) :- #0.35.
link(45,47) :- #0.354.
link(47,45) :- #0.22.
link(45,49) :- #0.456.
link(49,45) :- #0.598.
link(45,53) :- #0.18.
link(53,45) :- #0.743.
link(45,56) :- #0.973.
link(56,45) :- #0.257.
link(45,67) :- #0.705.
link(67,45) :- #0.687.
link(45,86) :- #0.429.
link(86,45) :- #0.193.
link(45,90) :- #0.878.
link(90,45) :- #0.724.
link(45,95) :- #0.032.
link(95,45) :- #0.743.
link(45,103) :- #0.724.
link(103,45) :- #0.015.
link(45,104) :- #0.103.
link(104,45) :- #0.849.
link(46,55) :- #0.497.
link(55,46) :- #0.643.
link(46,58) :- #0.499.
link(58,46) :- #0.16.
link(46,63) :- #0.133.
link(63,46) :- #0.412.
link(46,78) :- #0.319.
link(78,46) :- #0.555.
link(46,83) :- #0.463.
link(83,46) :- #0.976.
link(46,85) :- #0.388.
link(85,46) :- #0.559.
link(46,117) :- #0.994.
link(117,46) :- #0.36.
link(46,121) :- #0.911.
link(121,46) :- #0.76.
link(46,124) :- #0.002.
link(124,46) :- #0.927.
link(47,48) :- #0.131.
link(48,47) :- #0.947.
link(47,51) :- #0.557.
link(51,47) :- #0.367.
link(47,58) :- #0.56.
link(58,47) :- #0.681.
link(47,69) :- #0.684.
link(69,47) :- #0.551.
link(47,79) :- #0.218.
link(79,47) :- #0.061.
link(47,82) :- #0.06.
link(82,47) :- #0.272.
link(47,83) :- #0.982.
link(83,47) :- #0.772.
link(47,86) :- #0.481.
link(86,47) :- #0.322.
link(47,99) :- #0.843.
link(99,47) :- #0.974.
link(47,100) :- #0.281.
link(100,47) :- #0.615.
link(47,110) :- #0.151.
link(110,47) :- #0.313.
link(48,58) :- #0.212.
link(58,48) :- #0.591.
link(48,77) :- #0.494.
link(77,48) :- #0.367.
link(48,87) :- #0.049.
link(87,48) :- #0.016.
link(48,89) :- #0.087.
link(89,48) :- #0.13.
link(48,92) :- #0.838.
link(92,48) :- #0.042.
link(48,104) :- #0.602.
link(104,48) :- #0.042.
link(49,52) :- #0.986.
link(52,49) :- #0.532.
link(49,55) :- #0.527.
link(55,49) :- #0.169.
link(49,64) :- #0.834.
link(64,49) :- #0.842.
link(49,68) :- #0.961.
link(68,49) :- #0.319.
link(49,76) :- #0.454.
link(76,49) :- #0.462.
link(49,94) :- #0.409.
link(94,49) :- #0.285.
link(49,99) :- #0.787.
link(99,49) :- #0.865.
link(49,106) :- #0.596.
link(106,49) :- #0.271.
link(49,107) :- #0.056.
link(107,49) :- #0.133.
link(49,114) :- #0.723.
link(114,49) :- #0.898.
link(49,118) :- #0.442.
link(118,49) :- #0.07.
link(50,55) :- #0.183.
link(55,50) :- #0.371.
link(50,86) :- #0.094.
link(86,50) :- #0.803.
link(50,92) :- #0.713.
link(92,50) :- #0.308.
link(50,101) :- #0.66.
link(101,50) :- #0.824.
link(50,108) :- #0.891.
link(108,50) :- #0.026.
link(50,113) :- #0.024.
link(113,50) :- #0.892.
link(50,127) :- #0.805.
link(127,50) :- #0.393.
link(50,128) :- #0.111.
link(128,50) :- #0.742.
link(51,65) :- #0.763.
link(65,51) :- #0.622.
link(51,66) :- #0.335.
link(66,51) :- #0.465.
link(51,69) :- #0.941.
link(69,51) :- #0.052.
link(51,82) :- #0.113.
link(82,51) :- #0.383.
link(51,114) :- #0.324.
link(114,51) :- #0.178.
link(51,123) :- #0.247.
link(123,51) :- #0.002.
link(52,59) :- #0.17.
link(59,52) :- #0.291.
link(52,76) :- #0.681.
link(76,52) :- #0.984.
link(52,79) :- #0.169.
link(79,52) :- #0.434.
link(52,94) :- #0.289.
link(94,52) :- #0.264.
link(52,105) :- #0.445.
link(105,52) :- #0.023.
link(52,110) :- #0.744.
link(110,52) :- #0.242.
link(52,113) :- #0.673.
link(113,52) :- #0.227.
link(52,116) :- #0.123.
link(116,52) :- #0.26.
link(52,131) :- #0.601.
link(131,52) :- #0.77.
link(53,61) :- #0.479.
link(61,53) :- #0.067.
link(53,69) :- #0.828.
link(69,53) :- #0.273.
link(53,91) :- #0.95.
link(91,53) :- #0.126.
link(53,122) :- #0.374.
link(122,53) :- #0.189.
link(54,72) :- #0.888.
link(72,54) :- #0.124.
link(54,76) :- #0.419.
link(76,54) :- #0.1.
link(54,83) :- #0.446.
link(83,54) :- #0.017.
link(54,87) :- #0.164.
link(87,54) :- #0.993.
link(54,89) :- #0.07.
link(89,54) :- #0.92.
link(54,94) :- #0.437.
link(94,54) :- #0.7.
link(54,101) :- #0.472.
link(101,54) :- #0.947.
link(54,104) :- #0.937.
link(104,54) :- #0.199.
link(54,108) :- #0.115.
link(108,54) :- #0.206.
link(54,116) :- #0.638.
link(116,54) :- #0.622.
link(54,120) :- #0.719.
link(120,54) :- #0.898.
link(55,66) :- #0.333.
link(66,55) :- #0.778.
link(55,67) :- #0.194.
link(67,55) :- #0.428.
link(55,77) :- #0.644.
link(77,55) :- #0.661.
link(55,98) :- #0.044.
link(98,55) :- #0.399.
link(55,101) :- #0.534.
link(101,55) :- #0.735.
link(55,106) :- #0.203.
link(106,55) :- #0.039.
link(55,115) :- #0.832.
link(115,55) :- #0.975.
link(55,129) :- #0.517.
link(129,55) :- #0.216.
link(55,131) :- #0.939.
link(131,55) :- #0.372.
link(56,58) :- #0.277.
link(58,56) :- #0.524.
link(56,59) :- #0.534.
link(59,56) :- #0.488.
link(56,60) :- #0.069.
link(60,56) :- #0.755.
link(56,61) :- #0.994.
link(61,56) :- #0.964.
link(56,66) :- #0.594.
link(66,56) :- #0.118.
link(56,68) :- #0.742.
link(68,56) :- #0.661.
link(56,74) :- #0.227.
link(74,56) :- #0.278.
link(56,102) :- #0.82.
link(102,56) :- #0.396.
link(56,105) :- #0.151.
link(105,56) :- #0.317.
link(56,124) :- #0.6.
link(124,56) :- #0.282.
link(57,63) :- #0.609.
link(63,57) :- #0.04.
link(57,80) :- #0.412.
link(80,57) :- #0.324.
link(57,98) :- #0.613.
link(98,57) :- #0.449.
link(57,120) :- #0.454.
link(120,57) :- #0.772.
link(57,125) :- #0.743.
link(125,57) :- #0.033.
link(57,130) :- #0.273.
link(130,57) :- #0.33.
link(58,66) :- #0.904.
link(66,58) :- #0.769.
link(58,73) :- #0.119.
link(73,58) :- #0.567.
link(58,80) :- #0.295.
link(80,58) :- #0.092.
link(58,88) :- #0.308.
link(88,58) :- #0.102.
link(58,94) :- #0.967.
link(94,58) :- #0.772.
link(58,117) :- #0.341.
link(117,58) :- #0.582.
link(58,135) :- #0.962.
link(135,58) :- #0.741.
link(59,71) :- #0.68.
link(71,59) :- #0.125.
link(59,73) :- #0.968.
link(73,59) :- #0.674.
link(59,83) :- #0.11.
link(83,59) :- #0.394.
link(59,104) :- #0.168.
link(104,59) :- #0.325.
link(59,107) :- #0.126.
link(107,59) :- #0.54.
link(59,117) :- #0.293.
link(117,59) :- #0.3.
link(59,134) :- #0.641.
link(134,59) :- #0.76.
link(60,62) :- #0.142.
link(62,60) :- #0.607.
link(60,64) :- #0.921.
link(64,60) :- #0.79.
link(60,85) :- #0.878.
link(85,60) :- #0.941.
link(60,88) :- #0.298.
link(88,60) :- #0.304.
link(60,91) :- #0.154.
link(91,60) :- #0.287.
link(60,111) :- #0.272.
link(111,60) :- #0.438.
link(60,112) :- #0.768.
link(112,60) :- #0.103.
link(60,117) :- #0.729.
link(117,60) :- #0.741.
link(61,65) :- #0.48.
link(65,61) :- #0.58.
link(61,86) :- #0.429.
link(86,61) :- #0.063.
link(61,87) :- #0.311.
link(87,61) :- #0.43.
link(61,88) :- #0.764.
link(88,61) :- #0.791.
link(61,90) :- #0.123.
link(90,61) :- #0.307.
link(61,93) :- #0.218.
link(93,61) :- #0.466.
link(61,101) :- #0.066.
link(101,61) :- #0.529.
link(61,117) :- #0.381.
link(117,61) :- #0.02.
link(61,126) :- #0.462.
link(126,61) :- #0.746.
link(61,135) :- #0.011.
link(135,61) :- #0.492.
link(62,65) :- #0.331.
link(65,62) :- #0.855.
link(62,68) :- #0.209.
link(68,62) :- #0.202.
link(62,73) :- #0.752.
link(73,62) :- #0.81.
link(62,77) :- #0.38.
link(77,62) :- #0.676.
link(62,88) :- #0.167.
link(88,62) :- #0.279.
link(62,93) :- #0.568.
link(93,62) :- #0.439.
link(62,116) :- #0.851.
link(116,62) :- #0.019.
link(63,65) :- #0.793.
link(65,63) :- #0.551.
link(63,70) :- #0.957.
link(70,63) :- #0.507.
link(63,73) :- #0.994.
link(73,63) :- #0.212.
link(63,108) :- #0.642.
link(108,63) :- #0.111.
link(63,113) :- #0.78.
link(113,63) :- #0.923.
link(63,125) :- #0.791.
link(125,63) :- #0.017.
link(64,86) :- #0.609.
link(86,64) :- #0.711.
link(64,90) :- #0.356.
link(90,64) :- #0.059.
link(64,122) :- #0.897.
link(122,64) :- #0.612.
link(64,124) :- #0.47.
link(124,64) :- #0.785.
link(64,127) :- #0.399.
link(127,64) :- #0.302.
link(65,77) :- #0.395.
link(77,65) :- #0.762.
link(65,86) :- #0.71.
link(86,65) :- #0.171.
link(65,100) :- #0.481.
link(100,65) :- #0.648.
link(65,103) :- #0.704.
link(103,65) :- #0.755.
link(65,111) :- #0.355.
link(111,65) :- #0.617.
link(65,117) :- #0.727.
link(117,65) :- #0.888.
link(65,121) :- #0.091.
link(121,65) :- #0.811.
link(65,132) :- #0.764.
link(132,65) :- #0.881.
link(66,67) :- #0.608.
link(67,66) :- #0.756.
link(66,95) :- #0.913.
link(95,66) :- #0.907.
link(66,98) :- #0.607.
link(98,66) :- #0.642.
link(66,104) :- #0.166.
link(104,66) :- #0.594.
link(66,107) :- #0.222.
link(107,66) :- #0.747.
link(66,129) :- #0.963.
link(129,66) :- #0.693.
link(66,132) :- #0.932.
link(132,66) :- #0.621.
link(67,70) :- #0.448.
link(70,67) :- #0.98.
link(67,79) :- #0.999.
link(79,67) :- #0.166.
link(67,86) :- #0.985.
link(86,67) :- #0.142.
link(67,131) :- #0.791.
link(131,67) :- #0.025.
link(68,82) :- #0.893.
link(82,68) :- #0.881.
link(68,88) :- #0.105.
link(88,68) :- #0.57.
link(68,99) :- #0.635.
link(99,68) :- #0.605.
link(68,100) :- #0.352.
link(100,68) :- #0.682.
link(68,107) :- #0.772.
link(107,68) :- #0.668.
link(69,87) :- #0.109.
link(87,69) :- #0.024.
link(69,90) :- #0.02.
link(90,69) :- #0.707.
link(69,99) :- #0.554.
link(99,69) :- #0.933.
link(69,101) :- #0.896.
link(101,69) :- #0.309.
link(69,106) :- #0.235.
link(106,69) :- #0.547.
link(69,116) :- #0.889.
link(116,69) :- #0.396.
link(69,120) :- #0.132.
link(120,69) :- #0.752.
link(69,122) :- #0.379.
link(122,69) :- #0.606.
link(69,130) :- #0.298.
link(130,69) :- #0.526.
link(69,132) :- #0.715.
link(132,69) :- #0.832.
link(70,71) :- #0.175.
link(71,70) :- #0.833.
link(70,76) :- #0.909.
link(76,70) :- #0.467.
link(70,79) :- #0.094.
link(79,70) :- #0.428.
link(70,92) :- #0.303.
link(92,70) :- #0.813.
link(70,110) :- #0.1.
link(110,70) :- #0.324.
link(70,111) :- #0.683.
link(111,70) :- #0.388.
link(70,116) :- #0.985.
link(116,70) :- #0.852.
link(70,124) :- #0.428.
link(124,70) :- #0.221.
link(70,127) :- #0.049.
link(127,70) :- #0.82.
link(70,132) :- #0.402.
link(132,70) :- #0.904.
link(71,72) :- #0.036.
link(72,71) :- #0.346.
link(71,83) :- #0.876.
link(83,71) :- #0.566.
link(71,86) :- #0.095.
link(86,71) :- #0.165.
link(71,105) :- #0.333.
link(105,71) :- #0.598.
link(71,112) :- #0.348.
link(112,71) :- #0.188.
link(71,123) :- #0.932.
link(123,71) :- #0.101.
link(71,130) :- #0.058.
link(130,71) :- #0.587.
link(72,74) :- #0.548.
link(74,72) :- #0.458.
link(72,102) :- #0.169.
link(102,72) :- #0.724.
link(72,113) :- #0.039.
link(113,72) :- #0.116.
link(72,123) :- #0.439.
link(123,72) :- #0.704.
link(72,135) :- #0.87.
link(135,72) :- #0.723.
link(73,89) :- #0.925.
link(89,73) :- #0.765.
link(73,111) :- #0.845.
link(111,73) :- #0.964.
link(73,112) :- #0.724.
link(112,73) :- #0.978.
link(73,114) :- #0.928.
link(114,73) :- #0.117.
link(74,85) :- #0.612.
link(85,74) :- #0.95.
link(74,91) :- #0.322.
link(91,74) :- #0.113.
link(74,99) :- #0.278.
link(99,74) :- #0.269.
link(74,100) :- #0.005.
link(100,74) :- #0.345.
link(74,115) :- #0.842.
link(115,74) :- #0.969.
link(75,76) :- #0.989.
link(76,75) :- #0.973.
link(75,82) :- #0.166.
link(82,75) :- #0.227.
link(75,89) :- #0.038.
link(89,75) :- #0.953.
link(75,92) :- #0.429.
link(92,75) :- #0.01.
link(75,96) :- #0.515.
link(96,75) :- #0.583.
link(75,97) :- #0.469.
link(97,75) :- #0.428.
link(75,99) :- #0.182.
link(99,75) :- #0.271.
link(75,101) :- #0.61.
link(101,75) :- #0.848.
link(75,105) :- #0.144.
link(105,75) :- #0.264.
link(75,113) :- #0.129.
link(113,75) :- #0.277.
link(75,117) :- #0.901.
link(117,75) :- #0.92.
link(75,127) :- #0.845.
link(127,75) :- #0.512.
link(76,84) :- #0.46.
link(84,76) :- #0.209.
link(76,99) :- #0.881.
link(99,76) :- #0.945.
link(76,106) :- #0.367.
link(106,76) :- #0.508.
link(76,111) :- #0.711.
link(111,76) :- #0.586.
link(76,113) :- #0.959.
link(113,76) :- #0.608.
link(76,121) :- #0.603.
link(121,76) :- #0.803.
link(77,117) :- #0.324.
link(117,77) :- #0.546.
link(77,131) :- #0.555.
link(131,77) :- #0.804.
link(78,89) :- #0.82.
link(89,78) :- #0.301.
link(78,94) :- #0.276.
link(94,78) :- #0.088.
link(78,113) :- #0.228.
link(113,78) :- #0.236.
link(78,118) :- #0.414.
link(118,78) :- #0.746.
link(79,80) :- #0.989.
link(80,79) :- #0.153.
link(79,86) :- #0.804.
link(86,79) :- #0.819.
link(79,89) :- #0.61.
link(89,79) :- #0.802.
link(79,99) :- #0.235.
link(99,79) :- #0.122.
link(79,101) :- #0.449.
link(101,79) :- #0.308.
link(79,120) :- #0.145.
link(120,79) :- #0.315.
link(79,121) :- #0.139.
link(121,79) :- #0.21.
link(79,125) :- #0.544.
link(125,79) :- #0.363.
link(80,87) :- #0.106.
link(87,80) :- #0.231.
link(80,91) :- #0.537.
link(91,80) :- #0.998.
link(80,116) :- #0.767.
link(116,80) :- #0.69.
link(80,126) :- #0.555.
link(126,80) :- #0.949.
link(80,127) :- #0.221.
link(127,80) :- #0.975.
link(80,130) :- #0.162.
link(130,80) :- #0.575.
link(81,96) :- #0.68.
link(96,81) :- #0.229.
link(81,99) :- #0.151.
link(99,81) :- #0.2.
link(81,101) :- #0.778.
link(101,81) :- #0.442.
link(81,133) :- #0.205.
link(133,81) :- #0.082.
link(82,112) :- #0.531.
link(112,82) :- #0.324.
link(82,124) :- #0.306.
link(124,82) :- #0.057.
link(83,108) :- #0.428.
link(108,83) :- #0.472.
link(83,114) :- #0.137.
link(114,83) :- #0.734.
link(83,125) :- #0.553.
link(125,83) :- #0.594.
link(83,130) :- #0.291.
link(130,83) :- #0.723.
link(84,105) :- #0.935.
link(105,84) :- #0.491.
link(84,107) :- #0.996.
link(107,84) :- #0.011.
link(84,128) :- #0.726.
link(128,84) :- #0.555.
link(85,88) :- #0.447.
link(88,85) :- #0.879.
link(85,95) :- #0.127.
link(95,85) :- #0.115.
link(85,98) :- #0.616.
link(98,85) :- #0.88.
link(85,113) :- #0.103.
link(113,85) :- #0.714.
link(85,115) :- #0.373.
link(115,85) :- #0.626.
link(85,116) :- #0.434.
link(116,85) :- #0.501.
link(85,127) :- #0.999.
link(127,85) :- #0.655.
link(85,132) :- #0.797.
link(132,85) :- #0.41.
link(86,103) :- #0.179.
link(103,86) :- #0.195.
link(86,106) :- #0.019.
link(106,86) :- #0.519.
link(86,118) :- #0.529.
link(118,86) :- #0.508.
link(86,125) :- #0.863.
link(125,86) :- #0.264.
link(86,130) :- #0.78.
link(130,86) :- #0.965.
link(87,99) :- #0.338.
link(99,87) :- #0.77.
link(87,101) :- #0.286.
link(101,87) :- #0.274.
link(87,116) :- #0.534.
link(116,87) :- #0.891.
link(87,119) :- #0.355.
link(119,87) :- #0.295.
link(87,124) :- #0.762.
link(124,87) :- #0.273.
link(87,128) :- #0.519.
link(128,87) :- #0.848.
link(87,131) :- #0.792.
link(131,87) :- #0.571.
link(88,106) :- #0.722.
link(106,88) :- #0.217.
link(88,113) :- #0.519.
link(113,88) :- #0.213.
link(88,119) :- #0.221.
link(119,88) :- #0.078.
link(89,98) :- #0.311.
link(98,89) :- #0.908.
link(89,111) :- #0.827.
link(111,89) :- #0.078.
link(89,113) :- #0.793.
link(113,89) :- #0.493.
link(89,129) :- #0.859.
link(129,89) :- #0.826.
link(90,120) :- #0.144.
link(120,90) :- #0.108.
link(90,121) :- #0.527.
link(121,90) :- #0.831.
link(90,131) :- #0.305.
link(131,90) :- #0.926.
link(90,134) :- #0.513.
link(134,90) :- #0.531.
link(91,97) :- #0.377.
link(97,91) :- #0.397.
link(91,107) :- #0.545.
link(107,91) :- #0.759.
link(91,110) :- #0.049.
link(110,91) :- #0.854.
link(91,111) :- #0.089.
link(111,91) :- #0.422.
link(91,114) :- #0.138.
link(114,91) :- #0.297.
link(91,121) :- #0.828.
link(121,91) :- #0.092.
link(91,135) :- #0.177.
link(135,91) :- #0.637.
link(92,114) :- #0.794.
link(114,92) :- #0.269.
link(93,105) :- #0.006.
link(105,93) :- #0.891.
link(93,107) :- #0.506.
link(107,93) :- #0.15.
link(93,113) :- #0.192.
link(113,93) :- #0.937.
link(93,122) :- #0.781.
link(122,93) :- #0.428.
link(93,129) :- #0.849.
link(129,93) :- #0.992.
link(94,100) :- #0.35.
link(100,94) :- #0.354.
link(94,108) :- #0.731.
link(108,94) :- #0.981.
link(94,117) :- #0.723.
link(117,94) :- #0.753.
link(94,124) :- #0.559.
link(124,94) :- #0.093.
link(95,99) :- #0.874.
link(99,95) :- #0.686.
link(95,127) :- #0.193.
link(127,95) :- #0.996.
link(96,104) :- #0.064.
link(104,96) :- #0.851.
link(97,104) :- #0.01.
link(104,97) :- #0.33.
link(97,110) :- #0.261.
link(110,97) :- #0.972.
link(98,100) :- #0.42.
link(100,98) :- #0.847.
link(98,122) :- #0.911.
link(122,98) :- #0.059.
link(98,124) :- #0.749.
link(124,98) :- #0.224.
link(99,125) :- #0.855.
link(125,99) :- #0.644.
link(99,126) :- #0.407.
link(126,99) :- #0.495.
link(101,110) :- #0.81.
link(110,101) :- #0.483.
link(101,113) :- #0.638.
link(113,101) :- #0.844.
link(101,131) :- #0.283.
link(131,101) :- #0.488.
link(101,134) :- #0.794.
link(134,101) :- #0.253.
link(102,104) :- #0.156.
link(104,102) :- #0.405.
link(102,116) :- #0.67.
link(116,102) :- #0.194.
link(102,123) :- #0.169.
link(123,102) :- #0.254.
link(103,116) :- #0.478.
link(116,103) :- #0.007.
link(104,114) :- #0.625.
link(114,104) :- #0.37.
link(104,117) :- #0.661.
link(117,104) :- #0.006.
link(104,119) :- #0.034.
link(119,104) :- #0.893.
link(104,122) :- #0.236.
link(122,104) :- #0.477.
link(105,107) :- #0.786.
link(107,105) :- #0.32.
link(105,119) :- #0.386.
link(119,105) :- #0.873.
link(106,108) :- #0.18.
link(108,106) :- #0.63.
link(106,109) :- #0.712.
link(109,106) :- #0.324.
link(107,122) :- #0.042.
link(122,107) :- #0.2.
link(107,123) :- #0.981.
link(123,107) :- #0.608.
link(107,128) :- #0.293.
link(128,107) :- #0.031.
link(108,112) :- #0.426.
link(112,108) :- #0.423.
link(108,114) :- #0.111.
link(114,108) :- #0.564.
link(108,115) :- #0.134.
link(115,108) :- #0.993.
link(108,117) :- #0.04.
link(117,108) :- #0.724.
link(108,118) :- #0.764.
link(118,108) :- #0.878.
link(109,110) :- #0.553.
link(110,109) :- #0.857.
link(109,119) :- #0.642.
link(119,109) :- #0.639.
link(109,122) :- #0.157.
link(122,109) :- #0.459.
link(109,123) :- #0.034.
link(123,109) :- #0.439.
link(111,112) :- #0.26.
link(112,111) :- #0.191.
link(111,124) :- #0.435.
link(124,111) :- #0.481.
link(112,115) :- #0.409.
link(115,112) :- #0.734.
link(112,128) :- #0.759.
link(128,112) :- #0.822.
link(113,117) :- #0.381.
link(117,113) :- #0.649.
link(113,130) :- #0.025.
link(130,113) :- #0.577.
link(114,124) :- #0.293.
link(124,114) :- #0.329.
link(114,130) :- #0.356.
link(130,114) :- #0.052.
link(115,121) :- #0.924.
link(121,115) :- #0.377.
link(117,131) :- #0.672.
link(131,117) :- #0.241.
link(117,134) :- #0.602.
link(134,117) :- #0.668.
link(118,134) :- #0.205.
link(134,118) :- #0.359.
link(119,135) :- #0.132.
link(135,119) :- #0.959.
link(120,123) :- #0.253.
link(123,120) :- #0.237.
link(120,128) :- #0.738.
link(128,120) :- #0.12.
link(122,123) :- #0.918.
link(123,122) :- #0.356.
link(122,127) :- #0.774.
link(127,122) :- #0.898.
link(123,125) :- #0.927.
link(125,123) :- #0.686.
link(123,129) :- #0.223.
link(129,123) :- #0.
link(126,133) :- #0.324.
link(133,126) :- #0.178.
link(127,132) :- #0.732.
link(132,127) :- #0.321.
link(128,135) :- #0.231.
link(135,128) :- #0.612.
link(129,134) :- #0.961.
link(134,129) :- #0.262.
colour(red0).
colour(green0).
colour(blue0).
colour(yellow0).
colour(cyan0).
